MIME-Version: 1.0
Server: CERN/3.0
Date: Wednesday, 20-Nov-96 20:11:11 GMT
Content-Type: text/html
Content-Length: 7699
Last-Modified: Friday, 29-Sep-95 20:09:49 GMT

<HTML>
<HEAD>
<TITLE>Cornell CS Course Home Pages Fall 1995 </TITLE>
</HEAD>
<BODY>
<h1>Course Home Pages</h1>

These are links to the home pages for a number of CS courses.
In many cases there are class notes, problem sets, and other course
information available, although they may only be available to registered
members of the course.


<DL>

<DT><H2><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><IMG SRC="http://www.cs.cornell.edu/Icons/greenball.gif">
        <!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><A HREF="http://www.cs.cornell.edu/Info/Courses/Fall-95/CS211/cs211.html">
	CS211  Computers and Programming</A></H2>
<DD>
Intermediate programming in a high-level language and introduction 
to computer science.  Topics include program development, proofs 
of program correctness, program structure, recursion, abstract 
data types, data structures, and analysis of algorithms.  Pascal 
is the principal programming language.

<DT><H2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><IMG align=left vspace=0 hspace=5 SRC="http://www.cs.cornell.edu/Info/Courses/Fall-95/CS212/CS212_icon.gif">
        <!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><A HREF="http://www.cs.cornell.edu/Info/Courses/Fall-95/CS212/CS212.html">
        CS212 Structure and Interpretation of Computer Programs</A></H2>
<DD>
A challenging introduction to programming languages and computer
science.  Topics include recursive and higher-order procedures,
performance analysis of algorithms, proofs of program correctness,
probabilistic algorithms, symbolic hierarchical data, abstract data
types, polymorphic functions, object-oriented programming, infinite
data types, simulation, and the interpretation and compilation of
programs.
	<br clear=left>

<DT><H2><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><IMG align=left width=72 height=79 SRC="http://www.cs.cornell.edu/Info/Courses/Fall-95/CS214/gifs/daemon.gif">
        <!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><A HREF="http://www.cs.cornell.edu/Info/Courses/Fall-95/CS214/CS214.html">
        CS214 A Taste of Unix&#174; and C</A></H2>
<DD>
        An introduction to Unix operating systems and their
        programming environments.  This is a six week course, divided into
        two parts.  In the first three weeks, we cover the architecture of
        Unix operating systems and the C language at a high level.  The second
        three weeks center around a programming project that is intended
        to demonstrate the issues of crafting programs in C on Unix.

<DT><H2><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><IMG align=left vspace=0 hspace=5 SRC="http://www.cs.cornell.edu/Info/Courses/Fall-95/CS314/CS314_icon.gif">
	<!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><A HREF="http://www.cs.cornell.edu/Info/Courses/Fall-95/CS314/">CS314 Introduction to Digital Systems and
		Computer Organization</a></H2>
<DD>
	Web course material includes course info, lecture notes, homeworks, 
	project info, and hopefully even lecture videos.
	<br>
	Topics covered in the course include: representation of
	information; machine/assembly languages, in particular PowerPC;
	processor organization; interrupts and I/O; memory hierarchies;
	combinatorial and sequential circuits; data path and control
	unit design; RTL; and microprogramming.
	<br clear=left>

<DT><H2><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><IMG SRC="http://www.cs.cornell.edu/Icons/greenball.gif">
	<!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><A HREF="http://www.cs.cornell.edu/Info/Courses/Fall-95/CS501/CS401-501.html">
	CS401/501 Software Engineering: Technology and Techniques</a></H2>
<DD>
	This course covers the techniques and technologies used in modern
	software development.  It involves a good deal of programming
	and development experience, and tries to simulate the life of
	professional programmers.  Topics include the C++ language,
	Object-oriented programming, software design issues, classical
	software engineering, and collaborative programming.

<DT><H2><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><IMG SRC="http://www.cs.cornell.edu/Icons/greenball.gif">
        <!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><A HREF="http://www.cs.cornell.edu/Info/Courses/Fall-95/CS410/cs410.html">
	CS410  Data Structures</A></H2> 
<DD>
	Lists, trees, graphs, arrays, and other forms of data structure and
	their implementation.  Relationship between language and data
	structure, emphasizing abstract data types.  Dynamic storage
	allocation and memory management.  Detailed study of searching and
	sorting methods.  Analysis to determine the more efficient algorithm
	in a given situation.

<DT><H2><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><IMG SRC="http://www.cs.cornell.edu/Icons/greenball.gif">
        <!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><A HREF="http://www.cs.cornell.edu/Info/Courses/Fall-95/CS415/CS415.html">
	CS415 Practicum in Operating Systems</A></H2>
<DD>
	The practical aspects of operating systems are studied through 
	the design and implementation of an operating system kernel that 
	supports multiprogramming, virtual memory, and various input-output 
	devices.  All the programming for the project is in a high-level
	language.

<DT><H2><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><IMG SRC="http://www.cs.cornell.edu/Icons/greenball.gif">
        <!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><A HREF="http://www.cs.cornell.edu/Info/Courses/Fall-95/CS472/cs472.html">
	CS472 Foundations of Artificial Intelligence</A></H2>
<DD>
	A challenging introduction to the major subareas and current research
	directions in artificial intelligence.  Topics include knowledge
	representation, search, problem solving, natural-language processing, 
	vision, robotics, logic and deduction, planning, and machine learning.

<DT><H2><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><IMG align=left SRC="http://www.cs.cornell.edu/Info/Courses/Fall-95/CS481/greenguy.gif">
        <!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><A HREF="http://www.cs.cornell.edu/Info/Courses/Fall-95/CS481/CS481.html">
        CS481 Automata and Computability Theory</a></H2>
<DD>
        An introduction to the modern theory of computing: automata theory,
        formal languages, and effective computability.  A faster-moving
        and deeper version of CS381.  Credit will not be given for both.
        Corrective transfers between CS381 and CS481 are encouraged during
        the first few weeks of instruction.

<DT><H2><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><IMG SRC="http://www.cs.cornell.edu/Icons/greenball.gif">
        <!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><A HREF="http://www.cs.cornell.edu/Info/People/tah/cs611.html">
        CS611 Advanced Programming Languages</A></H2>
<DD>
	The course introduces and relates the operational, denotational, 
   	and axiomatic semantics of model programming languages for 
   	imperative, applicative, algebraic, and logic programming.

<DT><H2><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><IMG SRC="http://www.cs.cornell.edu/Icons/greenball.gif">
        <!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><A HREF="http://www.cs.cornell.edu/Info/Courses/Fall-95/CS631/">
        CS631 Multimedia Systems</A></H2>
<DD>
	An investigation of the computer science issues related to multimedia
	systems.  Topics include: coding and compression, storage systems,
	high-speed networking, video/audio processing, user interface issues,
	and databases for multimedia.

<DT><H2><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><IMG SRC="http://www.cs.cornell.edu/Icons/greenball.gif">
        <!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><A HREF="http://www.cs.cornell.edu/Info/Courses/Fall-95/CS681/CS681.html">
        CS681 Analysis of Algorithms</A></H2>
<DD>
	Methodology for developing efficient algorithms, primarily for
	graph theoretic problems.  Understanding of the inherent complexity
	of natural problems via polynomial-time algorithms, randomized
	algorithms, NP-completeness, randomized reducibilities.  Additional
	topics such as parallel algorithms and efficient data structures.

<DT><H2><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><IMG align=left vspace=0 hspace=5 SRC="http://www.cs.cornell.edu/Info/Courses/Fall-95/CS717/mess-sml.gif">
	<!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><A HREF="http://www.cs.cornell.edu/Info/Courses/Fall-95/CS717/">CS717 Cool Tools Seminar</a></H2>
<DD>
	This course will survey the latest (and coolest) software and hardware
	applications, systems, and tools with an emphasis on practical use of
	the tools. Each seminar will present a tutorial style introduction to
	one of the topics.
	<br clear=left>

<DT><H2><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><IMG SRC="http://www.cs.cornell.edu/Icons/greenball.gif">
        <!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><A HREF="http://www.tc.cornell.edu/Visualization/Education/cs718/">
        CS718 Topics in Computer Graphics</A></H2>
<DD>
	Covers advanced topics in computer graphics and applications
	of computer graphics to scientific computation.

<DT><H2><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><IMG SRC="http://www.cs.cornell.edu/Icons/greenball.gif">
        <!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><!WA29><A HREF="http://www.cs.cornell.edu/Info/Courses/Fall-95/CS775/cs775.html">
        CS775 Seminar in Natural Language Understanding</A></H2>
<DD>
	Covers current topics in natural language understanding, computational
	linguistics, and relevant areas of machine learning.  Meets once a
	week for 1-2 hours to present and discuss recent papers in the field
	as well as ongoing natural language understanding research in the
	department.

</DL>

<H3>Information from previous semesters</H3>
Information from previous semesters may be retained for a while, but don't be surprised if certain links don't work.
<DL>
<DT><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><!WA30><A HREF="http://www.cs.cornell.edu/Info/Courses/Fall-94/courses.html">Fall 1994</A>
<DT><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><!WA31><A HREF="http://www.cs.cornell.edu/Info/Courses/Spring-95/courses.html">Spring 1995</A>
<DT><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><!WA32><A HREF="http://www.cs.cornell.edu/Info/Courses/Summer-95/courses.html">Summer 1995</A>
</DL>
</BODY>
</HTML>
